home *** CD-ROM | disk | FTP | other *** search
/ Borland JBuilder 6 / jbuilder6.iso / IBM VisualAge for Java Enterprise v4.0 Retail / ivj40 / setup / IDE.Cab / F77370_VAJavaWorkbookUI.class (.txt) < prev    next >
Encoding:
Java Class File  |  2000-04-25  |  2.6 KB  |  72 lines
  1. package com.ibm.ivb.jface.vajava;
  2.  
  3. import com.ibm.ivb.jface.basic.BasicWorkbookUI;
  4. import java.awt.Color;
  5. import java.awt.Dimension;
  6. import java.awt.Font;
  7. import java.awt.FontMetrics;
  8. import java.awt.Graphics;
  9. import javax.swing.JComponent;
  10. import javax.swing.plaf.ComponentUI;
  11.  
  12. public class VAJavaWorkbookUI extends BasicWorkbookUI {
  13.    private static final String kCBIBMCopyright = "(c) Copyright IBM Corporation 1998";
  14.    Color savedBg;
  15.  
  16.    protected void calculateArrowWidth() {
  17.       super.arrowWidth = super.left.getPreferredSize().width + super.right.getPreferredSize().width + (super.goprev.isVisible() ? 10 + super.goprev.getPreferredSize().width : 0) + 10;
  18.    }
  19.  
  20.    public static ComponentUI createUI(JComponent var0) {
  21.       return new VAJavaWorkbookUI();
  22.    }
  23.  
  24.    public Color getSelectedTextColor() {
  25.       return Color.black;
  26.    }
  27.  
  28.    protected int getTabHeight() {
  29.       Font var1 = super.wb.getFont();
  30.       if (var1 == null) {
  31.          return 30;
  32.       } else {
  33.          super.captionFont = var1;
  34.          FontMetrics var2 = super.wb.getFontMetrics(var1);
  35.          int var3 = var2.getHeight();
  36.          return 6 + var3 + 5;
  37.       }
  38.    }
  39.  
  40.    public void installUI(JComponent var1) {
  41.       super.installUI(var1);
  42.       super.goprev.setVisible(false);
  43.       this.savedBg = super.wb.getBackground();
  44.       super.wb.setBackground(VAJavaLookAndFeel.getCommonBackground());
  45.       super.tabWidth = 10;
  46.       super.tabGap = 0;
  47.       super.tpad = 8;
  48.       super.borderInsets.top = 7;
  49.       super.borderInsets.left = 5;
  50.       super.borderInsets.right = 5;
  51.       super.borderInsets.bottom = 5;
  52.       super.extInsets.top = super.borderInsets.top + 7;
  53.       super.extInsets.left = super.borderInsets.left + 7;
  54.       super.extInsets.right = super.borderInsets.right + 7;
  55.       super.extInsets.bottom = super.borderInsets.bottom + 7;
  56.       super.tabHighlight = true;
  57.       super.tabOverlap = true;
  58.    }
  59.  
  60.    public void paintWorkbookBorder(Graphics var1, Color var2, Dimension var3) {
  61.       var1.setColor(var2.darker());
  62.       var1.drawLine(0, 0, 0, var3.height - 1);
  63.       var1.drawLine(var3.width - 1, 0, var3.width - 1, var3.height - 1);
  64.       var1.drawLine(0, var3.height - 1, var3.width - 1, var3.height - 1);
  65.    }
  66.  
  67.    public void uninstallUI(JComponent var1) {
  68.       super.uninstallUI(var1);
  69.       var1.setBackground(this.savedBg);
  70.    }
  71. }
  72.